Mechanized Literature Searching--A Progress Report

Mechanized Formal Methods: Progress and Prospects

In the decade of the 1990s, formal methods have progressed from an academic curiosity at best, and a target of ridicule at worst, to a point where the leading manufacturer of microprocessors has indicated that its next design will be formally veri ed. In this short paper, I sketch a plausible history of the developments that led to this transformation, present a snapshot of the current state of...

Mechanized Reasoning Systems : a Preliminary Report ?

It is widely recognised that the integration of diierent (sub)-provers is a key issue in the construction of reasoning tools of practical usage. Unfortunately experience shows that eeective integration is very diicult to achieve. The Open Mechanized Reasoning Systems (OMRS) Project started in 1992 with the objective to design a formal framework for the speciication of state-of-the-art provers. ...

Appendix B . Progress and Prospects in Mechanized Indexing

Searching the medical literature.

Searching the medical literature.

Medical literature searches have become more complex because of the increasing amount of published material and the multiple available databases indexing those publications. Although newly graduated physicians may have received some training in literature searching as part of a medical school curriculum, most clinicians have received no formal training in this skill. In today's world of evidenc...